complete probability space

完全概率空间